● Axiome non logique axiome spécifique d'une théorie mathématique, par opposition aux axiomes logiques qui sont en principe communs à toutes les théories mathématiques (et qui ne sont pas nécessairement explicités). [Par exemple « x+ 0 = x » est un axiome non logique de l'arithmétique ; il comprend la constante non logique « 0 ».]
Encyclopédie Universelle. 2012.
non logique — ● non logique adjectif Contraire aux lois logiques. ● non logique (expressions) adjectif Axiome non logique, axiome spécifique d une théorie mathématique, par opposition aux axiomes logiques qui sont en principe communs à toutes les théories… … Encyclopédie Universelle
Axiome propre — ● Axiome propre synonyme de axiome non logique … Encyclopédie Universelle
Axiome De L'infini — En mathématiques dans le domaine de la théorie des ensembles, l axiome de l infini désigne l un des axiomes de la théorie des ensembles de Zermelo Fraenkel qui assure l existence d un ensemble infini, plus précisément d un ensemble qui contient… … Wikipédia en Français
Axiome De L'ensemble Des Parties — En mathématiques, l axiome de l ensemble des parties est l un des axiomes de la théorie des ensembles, plus précisément des théories des ensembles de Zermelo et de Zermelo Fraenkel. L axiome affirme l existence pour tout ensemble E, d un ensemble … Wikipédia en Français
Logique des propositions — Calcul des propositions Pour les articles homonymes, voir Déduction. Le calcul des propositions ou calcul propositionnel est une théorie logique qui définit les lois formelles du raisonnement. C est la version moderne de la logique stoïcienne. C… … Wikipédia en Français
Logique propositionnelle — Calcul des propositions Pour les articles homonymes, voir Déduction. Le calcul des propositions ou calcul propositionnel est une théorie logique qui définit les lois formelles du raisonnement. C est la version moderne de la logique stoïcienne. C… … Wikipédia en Français
logique — 1. logique [ lɔʒik ] n. f. • XIIIe; lat. logica, gr. logikê, de logos « raison » I ♦ 1 ♦ Science ayant pour objet l étude, surtout formelle, des normes de la vérité; « analyse formelle de la connaissance » (Piaget). Logique formelle, logique pure … Encyclopédie Universelle
Logique mathématique — La logique mathématique, ou logique formelle, est une discipline des mathématiques introduite à la fin du XIXe siècle et qui s est donnée comme objet l étude des mathématiques en tant que langage. Les objets fondamentaux de la logique… … Wikipédia en Français
Axiome de l'infini — En mathématiques dans le domaine de la théorie des ensembles, l axiome de l infini désigne l un des axiomes de la théorie des ensembles de Zermelo Fraenkel qui assure l existence d un ensemble infini, plus précisément d un ensemble qui contient… … Wikipédia en Français
Axiome de l'ensemble des parties — En mathématiques, l axiome de l ensemble des parties est l un des axiomes de la théorie des ensembles, plus précisément des théories des ensembles de Zermelo et de Zermelo Fraenkel. L axiome affirme l existence pour tout ensemble E, d un ensemble … Wikipédia en Français
